WORST_CASE(?,O(n^2))

Solution:
---------

  "#0" :: [] -(0)-> "A"(0, 0)
  "#0" :: [] -(0)-> "A"(8, 0)
  "#EQ" :: [] -(0)-> "A"(0, 0)
  "#GT" :: [] -(0)-> "A"(0, 0)
  "#LT" :: [] -(0)-> "A"(0, 0)
  "#and" :: ["A"(0, 0) x "A"(0, 0)] -(0)-> "A"(0, 0)
  "#cklt" :: ["A"(0, 0)] -(0)-> "A"(0, 0)
  "#compare" :: ["A"(0, 0) x "A"(0, 0)] -(0)-> "A"(0, 0)
  "#eq" :: ["A"(0, 0) x "A"(8, 0)] -(0)-> "A"(0, 0)
  "#equal" :: ["A"(0, 0) x "A"(8, 0)] -(1)-> "A"(0, 0)
  "#false" :: [] -(0)-> "A"(1, 0)
  "#false" :: [] -(0)-> "A"(0, 0)
  "#less" :: ["A"(0, 0) x "A"(0, 0)] -(1)-> "A"(0, 0)
  "#neg" :: ["A"(0, 0)] -(0)-> "A"(0, 0)
  "#neg" :: ["A"(8, 0)] -(0)-> "A"(8, 0)
  "#or" :: ["A"(0, 0) x "A"(0, 0)] -(0)-> "A"(0, 0)
  "#pos" :: ["A"(0, 0)] -(0)-> "A"(0, 0)
  "#pos" :: ["A"(8, 0)] -(0)-> "A"(8, 0)
  "#s" :: ["A"(0, 0)] -(0)-> "A"(0, 0)
  "#s" :: ["A"(8, 0)] -(0)-> "A"(8, 0)
  "#true" :: [] -(0)-> "A"(1, 0)
  "#true" :: [] -(0)-> "A"(0, 0)
  "::" :: ["A"(9, 0) x "A"(9, 0)] -(9)-> "A"(9, 0)
  "::" :: ["A"(15, 15) x "A"(15, 15)] -(15)-> "A"(0, 15)
  "::" :: ["A"(0, 0) x "A"(0, 0)] -(0)-> "A"(0, 0)
  "::" :: ["A"(8, 0) x "A"(8, 0)] -(8)-> "A"(8, 0)
  "::" :: ["A"(2, 0) x "A"(2, 0)] -(2)-> "A"(2, 0)
  "and" :: ["A"(0, 0) x "A"(1, 0)] -(1)-> "A"(0, 0)
  "insert" :: ["A"(4, 8) x "A"(9, 0)] -(4)-> "A"(0, 0)
  "insert#1" :: ["A"(9, 0) x "A"(4, 8)] -(3)-> "A"(0, 0)
  "insert#2" :: ["A"(1, 0) x "A"(4, 8) x "A"(0, 0) x "A"(9, 0)] -(5)-> "A"(0, 0)
  "isortlist" :: ["A"(7, 15)] -(4)-> "A"(7, 0)
  "isortlist#1" :: ["A"(0, 15)] -(2)-> "A"(0, 0)
  "leq" :: ["A"(0, 0) x "A"(9, 0)] -(5)-> "A"(1, 0)
  "leq#1" :: ["A"(0, 0) x "A"(9, 0)] -(2)-> "A"(1, 0)
  "leq#2" :: ["A"(9, 0) x "A"(0, 0) x "A"(0, 0)] -(1)-> "A"(0, 0)
  "nil" :: [] -(0)-> "A"(9, 0)
  "nil" :: [] -(0)-> "A"(0, 15)
  "nil" :: [] -(0)-> "A"(0, 0)
  "nil" :: [] -(0)-> "A"(8, 0)
  "nil" :: [] -(0)-> "A"(14, 14)
  "nil" :: [] -(0)-> "A"(11, 8)
  "or" :: ["A"(0, 0) x "A"(0, 0)] -(1)-> "A"(0, 0)


Cost Free Signatures:
---------------------

  "#0" :: [] -(0)-> "A"_cf(0, 0)
  "#EQ" :: [] -(0)-> "A"_cf(0, 0)
  "#GT" :: [] -(0)-> "A"_cf(0, 0)
  "#LT" :: [] -(0)-> "A"_cf(0, 0)
  "#and" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#and" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 8)
  "#and" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 1)
  "#and" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 8)
  "#and" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(4, 0)
  "#cklt" :: ["A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#compare" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#eq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#eq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 2)
  "#eq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 8)
  "#equal" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#equal" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 1)
  "#false" :: [] -(0)-> "A"_cf(0, 0)
  "#false" :: [] -(0)-> "A"_cf(14, 14)
  "#false" :: [] -(0)-> "A"_cf(1, 2)
  "#false" :: [] -(0)-> "A"_cf(1, 4)
  "#false" :: [] -(0)-> "A"_cf(8, 2)
  "#false" :: [] -(0)-> "A"_cf(3, 2)
  "#false" :: [] -(0)-> "A"_cf(1, 14)
  "#false" :: [] -(0)-> "A"_cf(1, 8)
  "#false" :: [] -(0)-> "A"_cf(13, 8)
  "#false" :: [] -(0)-> "A"_cf(11, 10)
  "#false" :: [] -(0)-> "A"_cf(8, 8)
  "#false" :: [] -(0)-> "A"_cf(12, 14)
  "#false" :: [] -(0)-> "A"_cf(1, 0)
  "#false" :: [] -(0)-> "A"_cf(0, 4)
  "#false" :: [] -(0)-> "A"_cf(0, 1)
  "#false" :: [] -(0)-> "A"_cf(0, 8)
  "#false" :: [] -(0)-> "A"_cf(12, 0)
  "#false" :: [] -(0)-> "A"_cf(8, 0)
  "#false" :: [] -(0)-> "A"_cf(4, 0)
  "#less" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#neg" :: ["A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#or" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#or" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(14, 4)
  "#or" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 0)
  "#pos" :: ["A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#s" :: ["A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "#true" :: [] -(0)-> "A"_cf(0, 0)
  "#true" :: [] -(0)-> "A"_cf(14, 4)
  "#true" :: [] -(0)-> "A"_cf(1, 2)
  "#true" :: [] -(0)-> "A"_cf(7, 14)
  "#true" :: [] -(0)-> "A"_cf(8, 6)
  "#true" :: [] -(0)-> "A"_cf(8, 7)
  "#true" :: [] -(0)-> "A"_cf(1, 0)
  "#true" :: [] -(0)-> "A"_cf(0, 1)
  "#true" :: [] -(0)-> "A"_cf(0, 8)
  "#true" :: [] -(0)-> "A"_cf(2, 0)
  "#true" :: [] -(0)-> "A"_cf(14, 0)
  "#true" :: [] -(0)-> "A"_cf(4, 0)
  "#true" :: [] -(0)-> "A"_cf(8, 0)
  "::" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "::" :: ["A"_cf(7, 0) x "A"_cf(7, 0)] -(7)-> "A"_cf(7, 0)
  "::" :: ["A"_cf(8, 0) x "A"_cf(8, 0)] -(8)-> "A"_cf(8, 0)
  "::" :: ["A"_cf(2, 0) x "A"_cf(2, 0)] -(2)-> "A"_cf(2, 0)
  "and" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "insert" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "insert" :: ["A"_cf(7, 0) x "A"_cf(7, 0)] -(7)-> "A"_cf(7, 0)
  "insert" :: ["A"_cf(2, 0) x "A"_cf(2, 0)] -(8)-> "A"_cf(2, 0)
  "insert#1" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "insert#1" :: ["A"_cf(7, 0) x "A"_cf(7, 0)] -(7)-> "A"_cf(7, 0)
  "insert#1" :: ["A"_cf(2, 0) x "A"_cf(2, 0)] -(8)-> "A"_cf(2, 0)
  "insert#2" :: ["A"_cf(0, 0) x "A"_cf(0, 0) x "A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "insert#2" :: ["A"_cf(0, 0) x "A"_cf(7, 0) x "A"_cf(7, 0) x "A"_cf(7, 0)] -(14)-> "A"_cf(7, 0)
  "insert#2" :: ["A"_cf(0, 0) x "A"_cf(2, 0) x "A"_cf(2, 0) x "A"_cf(2, 0)] -(10)-> "A"_cf(2, 0)
  "isortlist" :: ["A"_cf(7, 0)] -(1)-> "A"_cf(7, 0)
  "isortlist" :: ["A"_cf(8, 0)] -(0)-> "A"_cf(2, 0)
  "isortlist#1" :: ["A"_cf(7, 0)] -(1)-> "A"_cf(7, 0)
  "isortlist#1" :: ["A"_cf(8, 0)] -(0)-> "A"_cf(2, 0)
  "leq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "leq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(8, 2)
  "leq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(2)-> "A"_cf(0, 0)
  "leq" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 0)
  "leq#1" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "leq#1" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(8, 3)
  "leq#1" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(2)-> "A"_cf(0, 0)
  "leq#1" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 0)
  "leq#2" :: ["A"_cf(0, 0) x "A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "leq#2" :: ["A"_cf(0, 0) x "A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(11, 4)
  "leq#2" :: ["A"_cf(0, 0) x "A"_cf(0, 0) x "A"_cf(0, 0)] -(2)-> "A"_cf(0, 0)
  "leq#2" :: ["A"_cf(0, 0) x "A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 0)
  "nil" :: [] -(0)-> "A"_cf(0, 0)
  "nil" :: [] -(0)-> "A"_cf(7, 0)
  "nil" :: [] -(0)-> "A"_cf(15, 0)
  "nil" :: [] -(0)-> "A"_cf(8, 0)
  "nil" :: [] -(0)-> "A"_cf(2, 0)
  "nil" :: [] -(0)-> "A"_cf(15, 12)
  "or" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "or" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(12, 4)
  "or" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 0)


Base Constructors:
------------------
  "\"#0\"_A" :: [] -(0)-> "A"(1, 0)
  "\"#0\"_A" :: [] -(0)-> "A"(0, 1)
  "\"#EQ\"_A" :: [] -(0)-> "A"(1, 0)
  "\"#EQ\"_A" :: [] -(0)-> "A"(0, 1)
  "\"#GT\"_A" :: [] -(0)-> "A"(1, 0)
  "\"#GT\"_A" :: [] -(0)-> "A"(0, 1)
  "\"#LT\"_A" :: [] -(0)-> "A"(1, 0)
  "\"#LT\"_A" :: [] -(0)-> "A"(0, 1)
  "\"#false\"_A" :: [] -(0)-> "A"(1, 0)
  "\"#false\"_A" :: [] -(0)-> "A"(0, 1)
  "\"#neg\"_A" :: ["A"(1, 0)] -(0)-> "A"(1, 0)
  "\"#neg\"_A" :: ["A"(0, 1)] -(0)-> "A"(0, 1)
  "\"#pos\"_A" :: ["A"(1, 0)] -(0)-> "A"(1, 0)
  "\"#pos\"_A" :: ["A"(0, 1)] -(0)-> "A"(0, 1)
  "\"#s\"_A" :: ["A"(1, 0)] -(0)-> "A"(1, 0)
  "\"#s\"_A" :: ["A"(0, 1)] -(0)-> "A"(0, 1)
  "\"#true\"_A" :: [] -(0)-> "A"(1, 0)
  "\"#true\"_A" :: [] -(0)-> "A"(0, 1)
  "\"::\"_A" :: ["A"(1, 0) x "A"(1, 0)] -(1)-> "A"(1, 0)
  "\"::\"_A" :: ["A"(1, 1) x "A"(1, 1)] -(1)-> "A"(0, 1)
  "\"nil\"_A" :: [] -(0)-> "A"(1, 0)
  "\"nil\"_A" :: [] -(0)-> "A"(0, 1)